Equator: un langage de programmation logique typé fondé sur l'unification équationnelle = Equator: a typed logic programming language based on equatorial unificationConrad, Thierry; Kodratoff, Yves.1990, 161 p.Thesis

Un modèle global stable des théories de types dépendants = A stable global model of dependent type theoriesBertrand, Claude; Blanc, Georges.1992, 215 p.Thesis

BOILERS. I. = CHAUDIERES. 1ERE PARTIEFIELD AA.1975; ENERGY WORLD; G.B.; DA. 1975; NO 19; PP. 7-15; BIBL. 15 REF.Article

FILTRATION. II. TECHNOLOGIE. = FILTRATION. II TECHNOLOGYMERIGUET G.1976; PARIS; TECH. ING.; DA. 1976; VOL. J-1542; PP. (26P.); (GENIE CHIM. J. 10)Miscellaneous

THERMAL CONDUCTIVITY OF SOME HEAT PIPE WICKS. = CONDUCTIVITE THERMIQUE DE QUELQUES MECHES DE CALODUCVANSANT JH; MALET JR.1975; LETTERS HEAT MASS TRANSFER; G.B.; DA. 1975; VOL. 2; NO 3; PP. 199-205; BIBL. 7 REF.Article

Kartirovanie, rajonirovanie i inženerno-geologičeskaâ ocenka zakarstovannyh territorij Ukrainy i Moldovy. Stat'â 1. Kartirovanie i rajonirovanieDUBLYANSKII, V. N; DUBLYANSKAYA, G. N.Geologičeskij žurnal (Kiev, 1968). 1993, Num 1, pp 96-101, issn 0367-4290Article

λ-definability on free algebrasZAIONC, M.Annals of pure and applied logic. 1991, Vol 51, Num 3, pp 279-300, issn 0168-0072, 22 p.Article

Semantic Subtyping : Dealing Set-Theoretically with Function, Union, Intersection, and Negation TypesFRISCH, Alain; CASTAGNA, Giuseppe; BENZAKEN, Véronique et al.Journal of the Association for Computing Machinery. 2008, Vol 55, Num 4, issn 0004-5411, 19.1-19.64Article

Type checking a multithreaded functional language with session typesVASCONCELOS, Vasco T; GAY, Simon J; RAVARA, Antonio et al.Theoretical computer science. 2006, Vol 368, Num 1-2, pp 64-87, issn 0304-3975, 24 p.Article

Lightweight confinement for Featherweight JavaTIAN ZHAO; PALSBERG, Jens; VITEK, Jan et al.ACM SIGPLAN notices. 2003, Vol 38, Num 11, pp 135-148, issn 1523-2867, 14 p.Conference Paper

STUDY OF THE NATURAL CLIMATIC AGING OF SOME TYPES OF FRONT-FACE REFLECTING MIRRORSISMANZHANOV A; MATVEEV VP; SHUKUROV II et al.1982; GELIOTEHNIKA (TASKENT); ISSN 0130-0997; SUN; DA. 1982; NO 4; PP. 48-51; BIBL. 8 REF.Article

PROBLEMS OF CONTINENTAL CRUST DEVELOPMENT IN ALPINE EUROPE = PROBLEMES DU DEVELOPPEMENT DE LA CROUTE CONTINENTALE DANS LES ALPESZEMAN J.1980; GEOL. SB.; ISSN 0016-7738; CSK; DA. 1980; VOL. 31; NO 4; PP. 407-420; ABS. RUS; BIBL. 1 P.; 1 TAB. ; TABL./ESQUISSE GEOL.Article

TYPEN VON REGENTROPFENSPEKTREN VON POLAREN BIS ZU TROPISCHEN ZONEN UND IHRE ABHAENGIGKEIT VON ELEMENTEN DES REGENS = TYPES DE SPECTRES DES GOUTTES DE PLUIE ENTRE LES ZONES POLAIRES ET TROPICALES ET LEUR RELATION AVEC LES ELEMENTS DE LA PLUIECZERWINSKI N; PFISTERER W.1972; J. RECH. ATMOSPH.; FR.; DA. 1972; VOL. 6; NO 1-3; PP. 89-105; ABS. FR. ANGL.; BIBL. 14 REF.Serial Issue

NUCLEAR REACTOR SAFETY1982; TRANS. AM. NUCL. SOC.; ISSN 0003-018X; USA; DA. 1982; VOL. 41; PP. 360-425; BIBL. DISSEM.Conference Paper

WICHTIGSTE KONSTRUKTIONSSTELLEN AM WAERMEAUSTAUSCHER: ROHR, BODEN, FLANSCH, DICHTUNG = THE KEY POINTS IN HEAT EXCHANGER MANUFACTURING: TUBE, BOTTON, COLLAR, JOINT = LES POINTS CLEFS DANS LA CONSTRUCTION DES ECHANGEURS DE CHALEUR: TUBE, FOND, BRIDE, JOINTWILKE HP; WALDSCHMITT F.1982; MM, MASCHINENMARKT; ISSN 0341-5775; DEU; DA. 1982; VOL. 88; NO 22; PP. 373-376; BIBL. 8 REF.Article

NUMERICAL MODELING OF FLAT PLATE SOLAR COLLECTORS. = SIMULATION NUMERIQUE DE COLLECTEURS SOLAIRES A PLAQUES PLANESSMITH PR; COBBLE MH.1975; IN: AM. INST. AERONAUT. ASTRONAUT. 10TH THERMOPHYS. CONF.; DENVER, COLO.; 1975; NEW YORK; A.I.A.A.; DA. 1975; VOL. 655; PP. 1-7; BIBL. 3 REF.Conference Paper

SOLAR ENERGY IN THE 1970S = L'ENERGIE SOLAIRE DANS LES ANNEES 70YELLOTT JI.1975; HEATG PIPG AIR CONDITIONG; U.S.A.; DA. 1975; VOL. 47; NO 7; PP. 31-37; BIBL. 3 REF.Article

WIND MACHINE DESIGN. COMPLETE SYSTEMS = CONCEPTION DE MACHINES EOLIENNES. SYSTEMES COMPLETSSIMMONS DM.1975; IN: WIND POWER; PARK RIDGE, N.J.; NOYES DATA; DA. 1975; PP. 61-92Book Chapter

WIND MACHINE DESIGN. ROTORS = CONCEPTION DES MACHINES EOLIENNES. ROTORSSIMMONS DM.1975; IN: WIND POWER; PARK RIDGE, N.J.; NOYES DATA; DA. 1975; PP. 92-108Book Chapter

ESTUDIOS EXPERIMENTALES EN TERMOFLUIDODINAMICA DE REACTORES. = EXPERIMENTAL STUDIES OF NUCLEAR REACTOR THERMODYNAMICS AND HYDRODYNAMICS = ETUDES EXPERIMENTALES EN MATIERE DE THERMODYNAMIQUE ET HYDRODYNAMIQUE DES REACTEURS NUCLEAIRESGISPERT BENACH DM; MONTES PONCE DE LEON DM.1975; ENERG. NUCL.; ESP.; DA. 1975; VOL. 19; NO 97; PP. 331-339; BIBL. 12 REF.Article

MOEGLICHKEITEN FUER EINEN RATIONELLEN EINSATZ VON GAS IN INDUSTRIEBETRIEBEN DER STEINE UND ERDEN. = POTENTIALITIES OF EFFICIENT USE OF GAS IN POTTERY AND BUILDING MATERIAL INDUSTRY = POSSIBILITES D'UTILISATION RATIONNELLE DU GAZ DANS L'INDUSTRIE CERAMIQUE ET DES MATERIAUX DE CONSTRUCTIONNIEDERGESASS G.1975; GAS WAERME INTERNATION.; DTSCH.; DA. 1975; VOL. 24; NO 7-8; PP. 327-332; ABS. ANGL. FR.; BIBL. 1 REF.Article

SOLAR CELLS, OPERATION, DEVELOPMENT AND APPLICATIONS = CELLULES SOLAIRES: FONCTIONNEMENT, DEVELOPPEMENT ET APPLICATIONSBONNET D.1974; BATTELLE FRANKFURT INFORM.; DTSCH.; DA. 1974; NO 19; PP. 2-9; BIBL. 22 REF.Article

MASCHINEN UND APPARATE FUER DIE FEINSTZERKLEINERUNG = MACHINES ET APPAREILS DE PULVERISATIONGIERSIEPEN G.1973; AUFBEREIT.-TECH.; DTSCH.; DA. 1973; NO 5; PP. 277-284; ABS. ANGL. FR.; BIBL. 10 REF.Serial Issue

HEPATITIS VIROLOGY = LA VIROLOGIE DE L'HEPATITEMELNICK JL; HOLLINGER FB.1972; PROGR. LIVER DIS.; U.S.A.; DA. 1972; VOL. 4; PP. 345-365; BIBL. 5 P. 1/2Serial Issue

ISOLATION AND COMPARISON OF BOVINE PARVOVIRUSBATES RC; STORZ J; REED DE et al.1972; J. INFECT. DIS.; U.S.A.; DA. 1972; VOL. 126; NO 5; PP. 531-536; BIBL. 21REF.Serial Issue